$\forall$$a$,$b$,$c$:rationals. ($a$ + ($b$ + $c$)) = (($a$ + $b$) + $c$) $\in$ rationals